Revision: tla-tools--devo--0--patch-80
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Tue Sep 23 19:59:52 EDT 2003
Standard-date: 2003-09-23 23:59:52 GMT
Modified-files: ChangeLog tla-copy-changes.shpp
    tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-55
    miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-56
    miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-80
Summary: Merge from tla-tools--x

